Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
921	Volume 8, Number 4 April 2014 www.thereasoner.org ISSN[removed]Contents Add to Reading List Source URL: www.filosoficas.unam.mx Language: English - Date: 2015-02-03 12:46:59 Philosophical logic Philosophy of mathematics Arguments Critical thinking Fuzzy logic Many-valued logic Proof theory Intuitionism Argumentation theory Logic Mathematical logic Non-classical logic
922	Bernard Bolzano's Philosophy: Logic and Ontology Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2014-02-06 17:01:34 Bernard Bolzano Proposition Term logic Edmund Husserl Truth Philosophy of mathematics Proof theory Mathematical logic Modal logic Logic Philosophy Philosophical logic
923	pluralism and proofs Greg Restall∗ Philosophy Department, The University of Melbourne [removed] August 2011 Add to Reading List Source URL: consequently.org Language: English Philosophical logic Mathematical constructivism Propositional calculus Proof theory Intuitionistic logic Paraconsistent logic Intuitionism Negation Sequent calculus Logic Mathematical logic Non-classical logic
924	Samuel A. Alexander Research Statement 1 Applications of Mathematics to Theoretical Computer Science 1.1 Knowing machines . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 A machine that knows its own code . . . Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2014-01-16 13:36:26 Logic Ordinal numbers Theory of computation Turing jump Recursively enumerable set Proof theory Ordinal arithmetic Enumeration Algorithm Mathematical logic Mathematics Computability theory
925	OBSERVAL-Net on-line line debate 17Sep-04Oct 17Sep FR Summary Assessment is central to the validation Add to Reading List Source URL: www.observal-net.eu Language: English - Date: 2014-02-10 04:53:22 Philosophy Mathematical logic Arguments Mathematical proof Proof theory Proof Argument Epistemology Logic Critical thinking Mathematics
926	OUP UNCORRECTED PROOF – First Page Proofs, [removed], CENVEO Chapter 12 1 Add to Reading List Source URL: www.fabriceclement.net Language: English - Date: 2012-09-08 01:17:32 Attachment theory Interpersonal relationships Love Psychoanalysis Human behavior Informant Mary Ainsworth Behavior Psychiatry Human development
927	Bernard Bolzano's Philosophy: Logic and Ontology Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2014-02-06 17:05:29 Bernard Bolzano Proposition Term logic Edmund Husserl Truth Philosophy of mathematics Proof theory Mathematical logic Modal logic Logic Philosophy Philosophical logic
928	1 Our Knowledge of Mathematical Objects I have recently been attempting to provide a new approach to the philosophy of mathematics, which I call ‘procedural postulationism’. It shares with the traditional form of pos Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2007-11-30 17:05:49 Model theory Axiom Z notation Interpretation New Foundations Philosophy of mathematics Logicism S Mathematical proof Mathematics Mathematical logic Logic
929	ate r ial OUP CORRECTED PROOF – FINAL, [removed], SPi Add to Reading List Source URL: fdslive.oup.com Language: English - Date: 2014-02-25 07:45:03 Microeconomics Consumer theory Economics Price Coffee Oxford University Press Demand Business Marketing Pricing Economic theories
930	OUP CORRECTED PROOF – FINAL, //, SPi  Metasemantics and Metaphysical Indeterminacy Michael Caie Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Philosophical logic Theories of truth Meaning Semantics Truth Veracity Modal logic Theory Entailment Logic Philosophy Science

UPDATE